Equation From Word Problem - Sat